#book_title{
    width: 100%;
    text-align: center;
    /* color: orange; */
    font-size: 1.2em;
    font-family: sans-serif;
}
#book_title h1{}
#wait_msg{
    width: 100%;
    text-align: center;
    font-size: 2em;
    color: gray;
}
#book_content{
    position: absolute;
}
#book_content #book_toc{
    position: fixed;
    right: 5px;
    background-color: white;
    border: 1px solid orange;
    padding: 5px;
    top: 5px;
    /* float: left; */
    width: 350px;
    overflow: scroll;
    height: 700px;
    overflow-x: scroll;
}
#book_content #book_toc ol{}
#book_content #book_toc ol li{
    margin-left: 20px;
}
#book_content #book_chapters
{
    padding-left:20px;
}

#page_bottom #link_to_top{
    position: fixed;
    bottom: 0;
    left: 0;
    background-color: sandybrown;
    color: white;
    padding: 1px;
    border-radius: 2px;
    cursor: pointer;
}

.toc-level-1 > a, .t-toc-level-1 > a{
    font-size: 1.1em;
    font-weight: bold;
}

.toc-level-3 > a, .t-toc-level-3 > a,
.toc-level-4 > a, .t-toc-level-4 > a,
.toc-level-5 > a, .t-toc-level-5 > a{
    color: darkorange;
    font-size: 0.9m;
}

.sbo-rt-content kbd, .sbo-rt-content .packt_action,
.sbo-rt-content .packt_tip,
.sbo-rt-content a, .sbo-rt-content .packt_url
{
	font-size:1em;
}

body{

}
.sbo-rt-content{
    background-color: aliceblue;
    margin-bottom: 40px;
    font-family:sans-serif !important;
}
.sbo-rt-content p, .sbo-rt-content .packt_para,.sbo-rt-content ol, .sbo-rt-content .packt_numbered{
    font-family:sans-serif !important;
    background-color: white;
    padding:5px;
    font-size:1.1em;

}

/*left menu*/
#left-menu{
    position: fixed;
    left: -480px;
    top: 0;
    background-color: #f1eee0;
    width: 500px;
    overflow-y: scroll;
    font-size: 14px;
    border: 1px solid black;
    height: 600px;
}
#left-menu:hover{
    left: 0;
}
#left-menu ul{

}

#left-menu ul li{
    padding: 0;
    margin-left: 10px;
}


.scrolled-link{
    background-color: rgb(221, 242, 248);
}
.clicked-link-list-item{
    background-color: lightyellow;
}
.clicked-link{
    background-color: rgb(208, 255, 0);
}


.highlight{
    background-color: #FFFF77;
}